transition:
S0-a-S1;
S0-a-S3;
S1-b-S2;
initial:
S0;
final:
S2.